void coordinator_execute_phase_1_a(int num);
void coordinator_execute_phase_2_a(int i, int r, paxos_msg* msg);
void coordinator_phase_recognizer(int sd, short event, void * arg);
